From cbf1fcdc109b7977b9757719413b2c1ab62bfad0 Mon Sep 17 00:00:00 2001 From: Maria Valentina Marin Date: Wed, 28 Aug 2019 09:19:01 +0200 Subject: [PATCH] Remove $datetime from html_footer.html to make package reproducible MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Reviewed-by: IOhannes m zmölnig Last-Update: 2015-06-28 Last-Update: 2015-06-28 Gbp-Pq: Name remove_datetime.patch --- documentation/html_footer.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/html_footer.html b/documentation/html_footer.html index 584df61..d23d80d 100644 --- a/documentation/html_footer.html +++ b/documentation/html_footer.html @@ -4,7 +4,7 @@